Effective Codescent Morphisms in Some Varieties of Universal Algebras
نویسنده
چکیده
The paper gives a sufficient condition formulated in a syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of quasigroups are effective.
منابع مشابه
The Strong Amalgamation Property and (effective) Codescent Morphisms
Codescent morphisms are described in regular categories which satisfy the so-called strong amalgamation property. Among varieties of universal algebras possessing this property are, as is known, categories of groups, not necessarily associative rings, M -sets (for a monoid M), Lie algebras (over a field), quasi-groups, commutative quasi-groups, Steiner quasi-groups, medial quasigroups, semilatt...
متن کاملNOTES ON EFFECTIVE DESCENT AND PROJECTIVITY IN QUASIVARIETIES OF UNIVERSAL ALGEBRAS Dedicated to Walter Tholen on the occasion of his sixtieth birthday
We present sufficient conditions under which effective descent morphisms in a quasivariety of universal algebras are the same as regular epimorphisms and examples for which they are the same as regular epimorphisms satisfying projectivity. 1. Preliminaries A variety is a full subcategory of the category of structures for a first order (one sorted) language, closed under substructures, products ...
متن کاملOn Exponentiable Morphisms in Classical Algebra
We study exponentiability of homomorphisms in varieties of universal algebras close to classical ones. After describing an “almost folklore” general result, we present a purely algebraic proof of “étale implies exponentiable”, alternative to the topologically motivated proof given in one of our previous papers, in a different context. We prove that only isomorphisms are exponentiable homomorphi...
متن کاملProduct preservation and stable units for reflections into idempotent subvarieties
We give a necessary and sufficient condition for the preservation of finite products by a reflection of a variety of universal algebras into an idempotent subvariety. It is also shown that simple and semi-left-exact reflections into subvarieties of universal algebras are the same. It then follows that a reflection of a variety of universal algebras into an idempotent subvariety has stable units...
متن کاملMAXIMAL PRYM VARIETY AND MAXIMAL MORPHISM
We investigated maximal Prym varieties on finite fields by attaining their upper bounds on the number of rational points. This concept gave us a motivation for defining a generalized definition of maximal curves i.e. maximal morphisms. By MAGMA, we give some non-trivial examples of maximal morphisms that results in non-trivial examples of maximal Prym varieties.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Applied Categorical Structures
دوره 22 شماره
صفحات -
تاریخ انتشار 2014